\begin{verbatim}
> F2 := FiniteField(2);
> PS<x> := PowerSeriesRing(F2);
> f := x^2 + x;
> g := x^3 + x + 1;
> f/g + O(x^16);
x + x^4 + x^5 + x^6 + x^8 + x^11 + x^12 + x^13 + x^15 + O(x^16)
\end{verbatim}
